Awards Remember Rall

Rall Returns to NIEHS

RALL: Machine-Supported Proofs for Relation Algebra

We present a theorem proving system for abstract relation algebra called RALL Relation Algebraic Language and Logic based on the generic theorem prover Isabelle On the one hand the system is an advanced case study for Isabelle HOL and on the other hand a quite mature proof assistant for research on the relational calculus RALL is able to deal with the full language of heterogeneous relation alg...

In memoriam of David P. Rall.

As a scientist, administrator, and diplomat, David P. Rall pioneered the effort to identify and understand the elements that make up the human environment and their consequences for human health. As an intellectual and aggressive activist, he educated scientists, governments, and the world community to the critical need to address the existence of environmental agents and their consequences for...

Huff Selected for APHA's Rall Award

Production of specific immunoglobulin (Ig)E is the characteristic abnormality of atopy. IgE is produced by B lymphocytes under the influence of interleukin (IL)4 and IL-13. IgE binds to high-affinity IgE receptors (Fc«RI) on mast cells to induce degranulation and mediator synthesis. IL-4 enhances the activation of Fc«RI to augment the production of cytokines and lipid mediators. These receptors...

Image awards

Why is the mirror neuron system so controversial? About a dozen papers have reported direct evidence for mirror neuron activity in monkeys and birds. Approximately 100 times as many papers refer to mirror neurons without directly recording their activity, often implying a link between mirror neurons and higher cognitive functions. While the existence of mirror neurons in animals is beyond doubt...